dfa problems with solutions